$\vdash$  $\forall$$a$, $b$:$\mathbb{N}^{+}$. 0 $<$ ($a$ $\ast$ $b$)